Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
841	always more Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne [removed] Add to Reading List Source URL: consequently.org Language: English - Date: 2010-11-15 08:48:37 Boolean algebra Modal logic Semantics Proposition Negation Tautology Possible world Contingency Atomic formula Logic Mathematical logic Propositional calculus
842	Weaker D-Complete Logics NORMAN D. MEGILL, 19 Locke Lane, Lexington, MA 02173, USA. E-mail: [removed] MARTIN W. BUNDER, Department of Mathematics, University of Wollongong, Wollongong NSW 2500, Australia. E-mail: Mar Add to Reading List Source URL: us.metamath.org Language: English - Date: 2013-01-17 15:03:23 Condensed detachment Modal logic Propositional calculus Model theory Logic Mathematical logic Mathematics
843	A Brief History of Natural Deduction Add to Reading List Source URL: www.sfu.ca Language: English - Date: 2009-10-30 18:11:37 Propositional calculus Formal systems Boolean algebra Logical truth Natural deduction Rule of inference Sequent calculus Double negative elimination Sequent Logic Mathematical logic Proof theory
844	Barriers to Implication Greg Restall Gillian Russell Philosophy Department Add to Reading List Source URL: consequently.org Language: English - Date: 2009-01-07 08:48:35 Philosophical logic Metalogic Propositional calculus Modal logic Non-classical logic Interpretation Entailment First-order logic Structure Logic Philosophy Model theory
845	assertion, denial and non-classical theories Greg Restall School of Philosophy, Anthropology and Social Inquiry The University of Melbourne Add to Reading List Source URL: consequently.org Language: English - Date: 2009-07-31 06:48:36 Propositional calculus Semantics Logical connectives Interpretation Entailment Universal quantification Vacuous truth Negation Function Logic Philosophical logic Non-classical logic
846	A Finitely Axiomatized Formalization of Predicate Calculus with Equality Note: This is a preprint of Megill, “A Finitely Axiomatized Formalization of Predicate Calculus with Equality,” Notre Dame Journal of Formal Lo Add to Reading List Source URL: us.metamath.org Language: English - Date: 2014-05-21 18:58:43 Propositional calculus Predicate logic Automated theorem proving Model theory First-order logic Metamath Function Substitution Axiom Logic Mathematical logic Mathematics
847	ADDITIONAL APPENDICES TO THE FINAL REPORT REF: [removed]039949PRM.LSE FEASIBILITY STUDY ON A STANDARDISED “RELIEF AT SOURCE” SYSTEM IMPLEMENTING THE PRINCIPLES OF THE FISCO RECOMMENDATION Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-06-28 04:02:14 Technology Boolean algebra Exclusive or Propositional calculus XOR Akaike information criterion Flowchart ISO 10303 MOS Technology SID Computing Technical communication Statistics
848	i i “p01c01˙his” — [removed] — 10:11 — page 3 — #3 i Add to Reading List Source URL: gauss.ececs.uc.edu Language: English - Date: 2011-07-05 08:44:49 Philosophical logic Classical logic Propositional calculus Algebraic logic Logical consequence Boolean algebra Function Term logic Entailment Logic Mathematical logic Mathematics
849	Forcing in proof theory∗ Jeremy Avigad November 3, 2004 Abstract Paul Cohen’s method of forcing, together with Saul Kripke’s related Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-05-28 20:12:31 Philosophical logic Propositional calculus Boolean algebra Metalogic Intuitionistic logic Kripke semantics Saul Kripke Negation Entailment Logic Mathematical logic Model theory
850	Robustness of Evidential Probability Choh Man Teng and Gregory Wheeler Artificial Intelligence Center - CENTRIA Department of Computer Science, Universidade Nova de Lisboa[removed]Caparica, Portugal cm.teng,[removed]. Add to Reading List Source URL: gregorywheeler.org Language: English - Date: 2010-09-19 10:34:29 Philosophical logic Non-classical logic Modal logic Propositional calculus Interpretation Probabilistic logic Symbol First-order logic Entailment Logic Mathematical logic Model theory

UPDATE